Mechanical engineering for the mining industry