A GPS/INS Multiple Model Adaptive Kalman Filter for Carrier Phase Integer Ambiguity Resolution and Cycle Slip Detection