employment in the mining industry