Mobility models for vehicular ad hoc networks: a survey and taxonomy