Micro-optimized sorting algorithms