Added a Python binary search