Influence of surface termination on formaldehyde oxidation by Mn-doped ceria: A density function theory study