Genomic Lessons from Biomining Organisms: Case Study of the Acidithiobacillus Genus