Added serialization/deserialization for Player