ITRF2000: From Theory to Implementation