Predicting the impact of control strategies on the tuberculosis burden in South and North Korea using a mathematical model