From decision optimization to satisficing: Regulation of automated trading in the US financial markets