PHP: serialisation implementing Serializable