Finite Element Discretization Of The Spalart-Allmaras Turbulence Model