二分法插入排序（以数组为例）