冰晶石是什么?冶炼铝要用到氧化铝和冰晶石,是怎么反应的?