On the turbulence modeling of blood flow in a stenotic vessel