Theoretical Elucidation of the Competitive Electro-oxidation Mechanisms of Formic Acid on Pt(111) | Synapse