Text this: Prediction and modeling of connectivity probability in vehicular Ad Hoc networks