A semiempirical model for bacterial growth and bioleaching of Acidithiobacillus spp.