Improved abstract slightly.