Real-time loop closure in 2D LIDAR SLAM | Synapse