O setor de mineração vai crescer mais ou vai estabilizar agora?