Characterizing students' difficulty with proof by mathematical induction