A PHP implementation proving the Monty Hall problem