Minor changes: adding table of contents, and some corrections.