Suppose you have 10 bitcoins on Binance, and one day the Binance platform disappears. What happens to 10 bitcoins?