Equivalence proof and performance evaluation of three adaptive Kalman filters for inaccurate measurement noise: A case study of GNSS/INS integrated systems | Synapse