Understanding the Impact of Automated De-Leveraging on October 10 Crypto Crash