Constructing Models of User and Task Characteristics from Eye Gaze Data for User-Adaptive Information Highlighting