Simulation-Based Performance Analysis of SBAS in Korea: Accuracy & Availability