mining copper ore type of rock