CH-Bench: a user-oriented benchmark for systems for efficient distant reading (design, performance, and insights)