Misc edits in Sec 1 through 4