A Dynamic General Equilibrium Model of Phased Korean Reunification