Texas paid bitcoin miner Riot $31.7 million to shut down during heat wave in August