Large-eddy simulation of a mixing layer