External Indices for Rough Clustering