Población extranjera residente en España por continente de procedencia. Datos oficiales a 1 de enero de 2023.