US Department of Defense to Spend $1.8B on 3D Printing in 20