dprk population 1950