Text this: Multipath Detection in GNSS Using Differential Corrections and Machine Learning-Based Classification