Updated Section 5 and added Lemma 2.4 of BM13