Structural insights into the mechanism of proton pumping by bacteriorhodopsin