Small edits to tighten paper overall and make a few corrections