This is the full version we'll send to ArXiv