merge sort in python