Diagrams and their role in mathematical proof