Make TpchAgenda serializable