invention of the pencil