Exportações do setor mineral somam US$ 13,5 bilhões