Surface oxygen vacancy formation on CeO2 and its role in the oxidation of carbon monoxide