A survey of the theory of economic integration