binary_search by iterator