Minor changes to correspond to the paper.