Equivalence of Intuitionistic Inductive Definitions and Intuitionistic Cyclic Proofs Under Arithmetic