请问下谁知道冶金石灰和制作电石用的石灰有什么区别吗?