Polynomial induction and length minimization in intuitionistic bounded arithmetic