A mechanism for the light-driven proton pump of Halobacterium halobium