FixCon: A Generic Solver for Fixed-Cardinality Subgraph Problems