GNSS performance monitoring