External merge sort