Efficient Region of Attraction Characterization for Control and Stabilization of Load Tap Changer Dynamics