tool shank diameter