General user modeling: a facility to support intelligent interaction