Final version of the paper