PHP script to control Raspberry PI GPIO pins from the web