How Auto-Deleveraging Works on Crypto Perp Platforms and Why It Can Cut Winning Trades