The mysterious outage that knocked out EU's Galileo GPS services for a week