Minor editorial refinements.