US-based Bitcoin miner Gryphon buys 7,200 rigs from Bitmain