Binary search in an array algorithm