Three Carrier Ambiguity Resolution: Generalised Problems, Models, Methods and Performance Analysis using Semi-Generated Triple Frequency GPS Data