A real-time semantic segmentation algorithm for visual SLAM in coal mine inspection robots on edge devices | Synapse