Redox Pathways for HCOOH Decomposition over CeO2 Surfaces