Crypto miners in Texas’ ERCOT region are now required to report power demand