The future of the UTC time scale