A Formalization of Operads in Coq