Verified 3D Printable Models