Small mistakes corrected. Trivial modifications.