Revised by the author.