Isotopic exchange of CO adsorbed on Pt(111).