Text this: Technology, employment, and output per man in petroleum and natural-gas production /