binary search algorithm in c with example