Gravar-mail: A chemically explicit model for the mechanism of proton pumping in heme–copper oxidases