Safe satellite navigation with multiple constellations : global monitoring of GPS and GLONASS signal-in-space anomalies