Pablo Vegas, a utility executive in Ohio, named ERCOT’s new CEO