how much is that in total combined bitcoin mining power?