This is a final version for the initial paper.