Proton Transport in Carbonic Anhydrase: Insights from Molecular Simulation