ERCOT’s queue creates challenges for Texas BTC miners