Thingi10K: A Dataset of 10,000 3D-Printing Models | Synapse