Variational multiscale modeling with discretely divergence-free subscales: Non-divergence-conforming discretizations.