Qual algoritmo de ordenação escolhe um pivô, particiona o conjunto em dois subconjuntos, com elementos menores e maiores que o pivô, e ordena esses subconjuntos recursivamente, obtendo a lista final pela concatenação dos resultados com o pivô?