binary vs linear search python