Books for industry: Petroleum Engineering