Modified introduction according to comments, and other minor changes