A few sorting algorithms