DFT study of formaldehyde oxidation on silver cluster by active oxygen and hydroxyl groups: Mechanism comparison and synergistic effect