A Survey on Popularity Bias in Recommender Systems