Direct Utilization of LiDAR Data in GNSS/IMU Processing for Indoor and Mobile Mapping Applications