Binary search algorithm for big sorted files that cannot be read into RAM.