The Great Escape? The Contribution of the Empire to Portugal's Economic Growth, 1500-1800