digital manufacturing industry 4 0 7 springer