History of the four color theorem