Text this: Research on nonlinear constraint assessment model of power grid based on generalized Benders decomposition