Korean Unification: How Painful and How Costly?