Auto-deleveraging is an exchange risk mechanism on perpetual futures platforms that liquidates profitable opposing positions when margin liquidation engines fail