Minor abstract and format changes from review by Brian Blanton.