Mineração brasileira aumentou exportação em 2020