An analytical model of multihop connectivity of inter-vehicle communication systems