Influence of increasing notch radii on properties of nitrided hot working tool steels