Face Clustering in Videos with Proportion Prior