equipment used in copper mines