mineração no brasil colonial