machines used in the mining industry