Branch-And-Cut For Nonlinear Power Systems Problems