History of graph theory