Books for industry: Industrial 3D Printing