Binary Search Algorithm Time Complexity