minor updates in the paper