Empirical Evaluation of HTTP Adaptive Streaming under Vehicular Mobility