Binary search; iterative version
Recursive version of BS.