Implementing a K-E Turbulence Model in the FEniCS Finite Element Programming Environment