The Galileo Time Service Provider: a progress report