3d models in OpenSCAD (and possibly other formats)