Efficient Diamond Chainsaw Sharpener for Fast and Precise Saw Chain Sharpening