Fatigue strength improvement of a 4140 steel by gas nitriding: Influence of notch severity