Introducing Melitz-Style Firm Heterogeneity in CGE Models: Technical Aspects and Implications