Equilíbrio Geral e Taxação Ótima – Modelo e avaliação dos efeitos sobre o bem-estar dos agentes