Bioleaching of End-of-Life Printed Circuit Boards: Mathematical Modeling and Kinetic Analysis