Updated paper

This is the latest revision of our paper.