copper widely used in mining industry double