熟石灰的化学式是什么