Trace Formulas and a Borg-type Theorem for CMV Operators with Matrix-valued Coefficients - Maxim Zinchenko (2008)