binary_search of element in array