Small edits to wording and typesetting.