Factorization and Model Theory for Contraction Operators With Unitary Part (Memoirs of the American Mathematical Society ; no. 198)