add doc: Binary search algorithms