Proton dynamics in high-pressure ice-VII from density functional theory