Welfare Properties of Recommender Systems: Theory and Results from a Randomized Experiment