Estudo de Caso: Teoria dos Jogos Aplicada à Análise da Vantajosidade da Extinção Precoce de Contrato de Obra Pública de Engenharia