Final version, to appear.