Glonass integer ambiguity resolution