Lessons from the 2021 Texas Electricity Crisis