an electric pencil sharpener is used for sharpening pencils