The unreasonable effectiveness of modern sort algorithms