Text this: Algoritmos de sequenciamento de tarefas e uma aplicação ao problema de alocação de recursos humanos ao centro de controle de tráfego aéreo