Theoretical Study of the Oxidation of Formic Acid on the PtAu(111) Surface in the Continuum Water Solution Phase