Polymorphic DTO using Java Record with Jackson