FTX’s LedgerX Derivatives Exchange Sold to Miami International Holdings in Bankruptcy Auction