Advances in Large-Scale Security-Constrained Economic Dispatch: Loss Modeling, Stochastic Dispatch, and Proxy Verification