Improving the Performance of a Proxy Server using Web log mining