Revised for publication. Updated README.