9% of the World’s Cryptocurrency Computing Power is in Texas; Crypto Miners Power Down During Heat Wave