an electric pencil sharpener is for making a pencil sharp