binary search on std::vector const_iterator