South Korea to spend $451 billion on becoming a semiconductor manufacturing giant