切削液有什么作用有哪些种类如何选用