Schleifsteine, Schleifsteinöl