PLCraft: PLC and industrial automation simulator in your browser