Modeling of Intermittent Connectivity in Opportunistic Networks: The Case of Vehicular Ad hoc Networks