is basalt rock used in mining