Spectral element discretization of the vorticity, velocity and pressure formulation of the Stokes problem