Typos (of minor importance) corrected