Qual a porcentagem de estrangeiros residentes no Brasil hoje?