Homology modeling and evolutionary trace analysis of superoxide dismutase from extremophile Acidithiobacillus ferrooxidans