Study on Multipath Mitigation and Dual-frequency Fast Ambiguity Estimation Based on Kalman Filter: Study on Multipath Mitigation and Dual-frequency Fast Ambiguity Estimation Based on Kalman Filter