Residual-Based Large Eddy Simulation of Turbulent Flows Using Divergence-Conforming Discretizations