Relative navigation of GEO satellites in formation using double-difference carrier phase measurements with integer ambiguity resolution