an electric pencil sharpener is used for pencils