Exploiting Mobility in Proportional Fair Cellular Scheduling: Measurements and Algorithms