Thermodynamic Cyclic Voltammograms Based onAb InitioCalculations: Ag(111) in Halide-Containing Solutions | Synapse