IDC: 3D-Printing Market to Reach $23.0 Billion in 2022