Proof Mining: A Systematic Way of Analysing Proofs in Mathematics