Comprehensive personalized information access in an educational digital library