Utilization of electrochemical impedance spectroscopy for monitoring pyrite oxidation in the presence and absence of Acidithiobacillus ferrooxidans