Overview: The Design, Adoption, and Analysis of a Visual Document Mining Tool for Investigative Journalists