World oil depletion models: price effects compared with strategic or technological interventions.