The paper is now accepted.