How Auto-Deleveraging Risks Force BTC Traders Out of Positions