Why did 12K Bitcoin margin longs close at Bitfinex, and why didn’t it impact BTC price?