binary search implementation using recursion