Trade Theory in Computable General Equilibrium Models: Armington, Krugman and Melitz