How Much Did the Binance Heist Thieves Lose?