Text this: Robotics in underground coal mining: Enhancing efficiency and safety through technological innovation