Security-constrained Unit Commitment