Density Functional Theory Study of Formic Acid Adsorption on Anatase TiO2(001):  Geometries, Energetics, and Effects of Coverage, Hydration, and Reconstruction | Synapse