Oxidation of formic acid on the Pt(111) surface in the gas phase.