二氧化硅与碳反应是不是置换反应