What File Formats Are Used in Embroidery Digitizing?