Real-time cycle slip detection in triple-frequency GNSS