operations of the mining industry