Invariant Kalman Filtering 的介绍,以及在导航中的应用