Editorial changes. Typos.