The paper is now published on arXiv