Кванмён, Пульгын пёль и другие: информационные технологии в Северной Корее