二氧化硅与碳在高温下反应么?