Facebook invents a PHP virtual machine