Google invests in a South Korean edtech startup.