* v5 fixes tex compilation bugs and also a math bug in the statement
and proof of Prop. 4.1 (and D.3). v4 adds two paragraphs to the related work
section and fixes typos in the appendices. v3 fixes some typos in the
appendices. v2 is a rewrite from v1 to be more readable and to include
detailed appendices Access Paper or Ask Questions