Navy using 3D printing on ships