Security-constrained unit commitment with wind generation and compressed air energy storage | Synapse