Typos removed, style improved.