Large-eddy simulation of unidirectional turbulent flow over dunes