Substituicao de equipamentos com vida exponencial : modelagem por programacao dinamica