Rank-defect integer estimation and phase-only modernized GPS ambiguity resolution