GPS operations UTC/TAL pseudorange mean phase Kalman Publication Date: January 2008