A Total-Energy Study of Proton Diffusion in Crystalline Silicon