A Real Business Cycle Model to Study the Effect of Overseas Oil Resource Development on the Korean Economy