Número de alunos estrangeiros mais que dobra em oito anos no Brasil