cost of borehole mining sand