Reaction Mechanisms of the Electrochemical Conversion of Carbon Dioxide to Formic Acid on Tin Oxide Electrodes | Synapse