12.4.2 二分插入排序