How do we think the push for AGI and the enormous amount of electricity needed effects btc mining. Is a ban likely in the US?