A User Mobility-Based Rate Adaptation Approach for Dynamic HTTP Streaming. (November 2020)