Mapping the world in 3D: LIDAR