Text this: Petroleum economics and offshore mining