Text this: Carrier Phase Residual Modeling and Fault Monitoring Using Short-Baseline Double Difference and Machine Learning.