extraction of copper from its ore for mining