mining extraction copper from its ore