A framework for mobility models generation and its application to inter-vehicular networks