Edits to Sec. 4.3 (in red) and small fixes to code fonts in acknoledgements.