建筑材料里提到的石灰是生石灰还是熟石灰?