industryterm:oil shale fracking