Bitcoin miner Riot generates $31.7 million energy credits from Texas power grid during August heat wave