Revised sections 4 (opening), 4.1 and 4.2 based on peer-feedback.