Biochemical characterization of a-type heme-copper oxidases in escherichia coli, bacillus subtilis and thermus thermophilus