Modeling Disk Caching Policies for Video on Demand Systems