Gravar-mail: A Model of Aerobic and Anaerobic Metabolism of Hydrogen in the Extremophile Acidithiobacillus ferrooxidans