Cooperative coupling and role of heme a in the proton pump of heme-copper oxidases