added insertion sort from [Naish 1996]