LiDAR in theory and application