Decode JSON in Bash with PHP