How 3D Lidar Sensors Enable High-Precision Robotics, Mapping, and Automation