Substantial edits to shorten introduction, etc.