Final major revision. Possible edits for typos until hard deadline.