Diamond grinding wheel: a sharp tool in precision machining