Extração de Contornos de Telhados de Edifícios em um Modelo Digital de Elevação, utilizando Inferência Bayesiana e Campos Aleatórios de Markov