machinery used in copper ore mines