Choice Diversity in Educational Recommender Systems: User Perspectives