High-yield reduction of carbon dioxide into formic acid by zero-valent metal/metal oxide redox cycles | Synapse