Crystal structures of the gastric proton pump