Interoperability of satellite based augmentation systems for aircraft navigation