Decrease-by-one algorithms: Insertion Sort