Microbial growth models for bioleaching applications, incorporating inhibition dynamics based on Haldane's equation