Benchmarking models and tools for distributed Web-server systems