Modern Trade Theory for CGE Modelling: The Armington, Krugman and Melitz Models