an electric pencil sharpener is used for sharpening pencisl