Proportional Fairness in Clustering: A Social Choice Perspective