Buoyant turbulence kinetic energy (TKE) production in katabatic flow despite stable thermal stratification