Some edits to the text and addition of references.