A formal approach to effectiveness metrics for information access: Retrieval, filtering, and clustering