Turbulence model assessment for shock wave/turbulent boundary-layer interaction in transonic and supersonic flows