Constrained large-eddy simulation of turbulent flow over rough walls