Mechanistic study of electrocatalytic oxidation of formic acid at platinum in acidic solution by time-resolved surface-enhanced infrared absorption spectroscopy.