Web user clustering and Web prefetching using Random Indexing with weight functions