Small-Signal Stability Constrained Optimal Power Flow: A Convexification Approach.