Biogeography of sulfur-oxidizing Acidithiobacillus populations in extremely acidic cave biofilms