Traditional colonial and baroque style in constructions in the historic town of Tiradentes, Minas Gerais, Brazil