How Do Model Export Formats Impact the Development of ML-Enabled Systems? A Case Study on Model Integration