A density functional theory study of formaldehyde adsorption and oxidation on CeO2(1 1 1) surface