Our paper is published in Communications of the ACM.