Algo Bots and the Law: Technology, Automation, and the Regulation of Futures and Other Derivatives