Analysis and reformulation of the k –ω turbulence model for buoyancy-driven thermal convection | Synapse