A performance modeling of connectivity in vehicular ad hoc networks (VANETs)