Random Unitary Operators, Density of States, Thouless Formula, Lyapunov Exponents