Mathematics of large eddy simulation of turbulent flows