How we made geo joins 400× faster with H3 indexes