Large-eddy simulation of a very large wind farm in a stable atmospheric boundary layer