PHP implementation of JSON schema