courses leading to the mining industry