Crypto miners in Texas shut down operations as state experiences extreme heat wave