South Korea's 2027 budget proposal nearly doubled previous national government investment in artificial intelligence and semiconductors