Text this: A Generalized Benders Decomposition for Mixed-Integer Nonlinear Programming: Theory and Applications