insertion_sort done OK