A Batched GPU Algorithm for Set Intersection