how much does it take to mine basalt rock