Quantum–Classical Simulation of Proton Migration in Water