Two-stage robust optimization for N-k contingency-constrained unit commitment | Synapse