The great escape? the contribution of the empire to Portugal's economic growth, 1500-1800