how do you mine basalt