简述磨床切削液的作用。