A Sketchy History of Pencil Lead