Please see the associated paper.