Time complexity of merge sort