PLC Programming with the Raspberry Pi and the OpenPLC Project