Bioinformatic prediction and experimental verification of sulfate assimilation genes in the extreme acidophile Acidithiobacillus ferrooxidans