How GPS and GLONASS got together