RESTful web services in PHP