Zend looks to optimize PHP for mobile devices and the cloud