Assessing the availability of a single-frequency satellite based augmentation system in the Korea region