A benders-decomposition-based transient-stability-constrained unit scheduling model utilizing cutset energy function method. (January 2021)