what is the mining process for basalt