Model of the biofilm structure of Thiobacillus ferrooxidans