Markov Analysis of Multiple-Disk Prefetching for External Mergesort