Quantum mechanical modeling of the chemical reactivity of metal surfaces: two case studies involving water formation and dissociation