Portugal vai notificar mais de 5 mil brasileiros para que deixem o país