A chemiosmotic molecular mechanism for proton‐translocating adenosine triphosphatases