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