binary_search_first_occurrence