Density Functional Theory Study of the Formaldehyde Catalytic Oxidation Mechanism on a Au-Doped CeO2(111) Surface