Quantum effects and the excess proton in water