Influence of Increasing Notch Radius on Properties of Nitrided Hot Work Tool Steels