Preliminary Availability Assessment to Support Single Frequency SBAS Development in the Korean Region