How long does binary search take, in terms of the size n of the array to search?