Analogy in Automated Deduction - A Survey