Development of Turbulence Models for Prediction of Hypersonic Flows Using Compressibility Corrections and Uncertainty Quantification With Emphasis on the Wray-Agarwal Model