Modeling and Analysis of Location Service Management in Vehicular Ad Hoc Networks