binary insertion sort for integers