Automated Mathematical Induction