quais eram os tipos de impostos cobradas no período da mineração no Brasil​