A fixed-bed reactor for methane dry reforming via a ceria-based redox cycle – modeling and experimental validation | Synapse