Traced Monads and Hopf Monads