Mining Robotics for Dangerous Environments: Comprehensive Industry Analysis 2025