Early stages during the oxidation of HCOOH on single-crystal Pt electrodes as characterized by infrared spectroscopy