BATS Global Markets and Direct Edge to merge