A direct method for security-constrained unit commitment | Synapse