持有中国绿卡的外国人有多少人