how is the rock basalt mined