How Bitcoin Mining Helps the Texas Electrical Grid