P3-LINS: Tightly Coupled PPP-GNSS/INS/LiDAR Navigation System With Effective Initialization | IEEE Journals & Magazine | IEEE Xplore