Werkzeugwechsel, Werkzeugnummer