Bitcoin Miners in Texas Halt Operations due to a Severe Heat Wave