IGS: The International GPS Service: for leading-edge space missions