When did the legal process to change the definition of the kilogram end?