熟石灰在化学中的学名是什么?