Fill in code for BinarySearch