Analysis of Connectivity Probability in Platoon-based Vehicular Ad Hoc Networks