equipment used in mining copper ore