Title: Use of operations research in the petroleum industry