Reading mathematical texts as a problem-solving activity : the case of the principle of mathematical induction