Books for industry: Operations Management