Minor edits to the introduction.