Proton Dynamics and Water Wires from First-Principles Calculations