How do you execute a PHP script from the command line?