Reaction Pathways of the Anodic Oxidation of Formic Acid on Pt Evidenced by 18O Labeling—A DEMS Study