جامد کردن کربن دی اکسید با نمک