Binary search in python.