Federal Market Information Technology in the Post–FlashCrash Era: Roles for Supercomputing · Study