The Spalart Allmaras turbulence model