Auto-Deleveraging: How Crypto Venues Close Profitable Positions