Minor updates to the paper.