Embedding Cardinality Constraints in Neural Link Predictors