Return a JSON object in PHP