What Are Embroidery File Formats and Why Do They Matter?