Books for industry: Mining Engineering