Revised abstract to be more succinct.