binary search algorithm in c programming