Limiting crypto mining helped Texas power grid weather heat wave