Timing redis set intersection