mining industry workforce