In the conference version of the paper, the tie-breaking in Step 1 of
Definition 2.1 is incorrect, and as a result, some proofs in the paper have
bugs. Please see the updated arxiv version of the paper (arXiv:1605.01483) for more details.