Explain the trade-offs between different sorting algorithms for large-scale data processing at TomTom.