In situ infrared spectroscopy of well-defined single-crystal electrodes: adsorption and electrooxidation of CO on Pt(111)