Revised abstract.