Converting Between Arrays and JSON in PHP