revisions and reformatting to latex