How much lime is used in copper mining