the process of mining an ore and extracting the metal