3D Systems CEO: 3D-printed gun did industry a 'service'