The contribution of the digital revolution to Korea's democracy, with a focus on political communications, from 1993 to 2018