types of mining in the mining industry