Rovi Taps Thomas Carson As CEO