applications of robotics in mining industry