Multipath Detection in GNSS Using Differential Corrections and Machine Learning-Based Classification (Artificial Satellites, 2026)