Minor edits in introduction