A few minor edits based on feedback.