an electric pencil sharpener can be used for sharpening pencils