Text this: Autonomous Mobile Inspection Robots in Deep Underground Mining—The Current State of the Art and Future Perspectives