Revised section 5 based on peer-feedback.
Revised section 7 based on peer-feedback.