Rotational Forms of Large Eddy Simulation Turbulence Models: Modeling and Mathematical Theory