Towards time design: pacing of hypertext navigation by system response times