It takes variety to make a world: diversification in recommender systems