how is basalt mined