熟石灰在建筑上用于制三合土来砌砖抹墙,这是利用什么性质,反映的化学方程式为