Document Clustering with Dual Supervision