Quantomatic: A Proof Assistant for Diagrammatic Reasoning