Two-Stage Stochastic Frequency-Security-Constrained Unit Commitment for Thermal-Storage Joint Frequency Regulation Under High Renewables Using Analytical Criterion and Linear Surrogates | Synapse