Double Difference Ambiguity Resolution for GLONASS/GPS Carrier Phase