Lyapunov exponents for unitary Anderson models