Jaccard-constrained dense subgraph discovery | Synapse