Appendices for Modeling Inter-vehicle Communication in Multi-lane Highways: A Stochastic Geometry Approach