Minor typos were corrected.