Fixed-Point Elimination in the Intuitionistic Propositional Calculus (Extended Version)