GPS/GLONASS differential code biases, IGS Workshop on GNSS Biases 2012