碱式碳酸镁化学式是什么