nordkorea indbyggertal