Los extranjeros con documentación de residencia en España ascienden a 7,5 millones