Connectivity analysis for vehicular ad hoc networks in fading channels