عدد سكان كوريا الشمالية 2022