The Modelling and Resolution of Cycle Ambiguities in GPS Phase Observations