Text this: Texas petroleum production and the windfall profit tax /