Final version of the paper.