Can the Texas power grid handle the 2023 heat?