Our journal paper has been accepted in the IEEE Transactions on Automatic Control (TAC) as a Full Paper.