An Ambiguity-free Smoothing Algorithm for Multipath Mitigation in INS/RTK Tightly-Coupled Integration