systematic-trading 1 DART Scraping and One-Second Trading — Korean Equity Automation, 2009–2015 May 17, 2026