Theoretical analysis of heterogeneous catalysis for energy storage and conversion - The interconversion between formic acid and carbon dioxide and methane oxidation on transition metals