Quantum chemistry and in situ FTir spectroscopy studies on potential-dependent properties of CO adsorbed on Pt electrodes