Increased safety in deep mining with IoT and autonomous robots