Compressing big STL files for 3D printing