some small changes and typos corrected in tex