JPIP proxy server with prefetching strategies based on user-navigation model and semantic map