function of the mining industry