Arxiv version 2, fixed typos and shortened abstract.