PHP serialize() deserializer and .NET object serializer