Autonomous exploration and mapping of abandoned mines | Synapse