Theory and Simulation of Water Permeation in Aquaporin-1