Text this: Construction and comparison of atomic time scale algorithms :