An Introduction to EGNOS: The European Geostationary Navigation Overlay System