Improving Text Clustering with Social Tagging