John Venn: Pioneer of Logical Diagrams and Probability