Sorts a file that does not fit into memory