Joint server scheduling and proxy caching for video delivery