Gravar-mail: Toward a chemical mechanism of proton pumping by the B-type cytochrome c oxidases: Application of Density Functional Theory to cytochrome ba(3) of Thermus thermophilus