Final arXiv version