Riot, SBI Crypto reach $20 million settlement in Texas bitcoin mining dispute