Microsoft, Autodesk, Shapeways, HP and co launch a new file format for 3D Printing