Minor typos fixed and some wording amended