Vector Art vs. Raster Art: Which is Better for Embroidery Digitizing?