how much lime is used in copper mining