history of the pencil