Which simple hand tool features a freely swiveling, curved blade that machinists use to quickly shave off the sharp, raised metal edges left behind on a workpiece after drilling or milling?