std::set_difference wants pre-sorted sets