Robotics in mining exemplified by Mobile Inspection Platform