Galileo: from GIOVE to constellation