Text this: Energy return on investment (EROI) of oil shale