ProxAnn: Use-Oriented Evaluations of Topic Models and Document Clustering