The Welfare Economics of Product Variety: An Application to the Ready-to-Eat Cereals Industry