二氧化碳与镁发生置换反应的化学反应式