An influx of Bitcoin miners into Texas has added lots of new power demand. A heatwave is making some of them power down.