Trims some fat in the abstract, cleans up some more phrasing