Redução de Custos nas Organizações Públicas com Método de Mineração de Processos: um Estudo de Caso no Controle de Férias [Public Organization Cost Reduction Using a Process Minning Method: a Case Study on Vacation Control].