Political demography of Korea: Political effects of changes in population composition and distribution