Mathematics of Large Eddy Simulation of Turbulent Flows