binary search in c code