Recent Developments in Modeling the Kinetics of Bioleaching