Mostly minor changes. Typos, rephrasing, details additions.