Minor revisions to increase clarity.