Biofilm Formation by the Acidophile Bacterium Acidithiobacillus thiooxidans Involves c-di-GMP Pathway and Pel exopolysaccharide