who invented the pencil