Pencil shavings and sharpeners