BATS Global Markets与Direct Edge同意合并。