Pablo Vegas, a utility executive in Ohio, to lead Texas power grid