Mg2+ reduces biofilm quantity in Acidithiobacillus ferrooxidans through inhibiting Type IV pili formation | Synapse