equipment used to copper mine