AMF serialization/deserialization for PHP