Benchmarking Top-K Keyword and Top-K Document Processing with TK and TKD