Updated Section 5.6.2 and 7 in manuscript