Galileo satellite launch brings European GPS closer