Mark's edits from 6/3/2013.
Updated abstract.