History of the pencil