PHP script to convert serialized to JSON