Edits in the introduction.