Navigation of the Galileo mission