Formulation of the Dutch Atmospheric Large-Eddy Simulation (DALES) and overview of its applications