Title: GPS signal phase tracking using a Kalman filter