GALILEO, sistema de navegación global por satélite