Text this: A Review on Mechanical Proving and Formalization of Mathematical Theorems