Seol mar théacs é seo: Energy return on investment (EROI) of oil shale