Turbulence kinetic energy budget in the stable boundary layer over a heterogeneous surface