Global Caching Mechanisms in Clusters of Web Servers