Texas Grid Keeps Power on With Aid of Alerts When Demand Soars