Frequency-Constrained Stochastic Planning Towards a High Renewable Target Considering Frequency Response Support From Wind Power | Synapse