How pencils are pre-sharpened in factories