heating of rocks in mining