Finite element discretization of the Spalart-Allmaras turbulence model