President Biden just shut down a Chinese crypto miner in Wyoming—but dozens of others remain