How Bitcoin mining stabilized the grid, saved Texans $18 billion