Implementing ground-based and satellite-based augmentation systems