假定有序表是按键值从小到大有序，给出二分查找算法。