Minor tweaks on page 1 of paper.