History of string diagrams