Implementation of the IAU 2000 definition of UT1 in astronomy