height tool holder shank mm