Efficient diversification of top-k queries