Residual-Based Large Eddy Simulation with Isogeometric Divergence-Conforming Discretizations