Numerical Analysis of Eddy Viscosity Models in Supersonic Turbulent Boundary Layers