Array to JSON conversion in PHP