Discretize first, filter next: Learning divergence-consistent closure models for large-eddy simulation | Synapse