Efficient market clearing for manual Frequency Restoration Reserve capacity with stochastic activation costs and nested decomposition | Synapse