二分法搜索（binary_search）——Python实现