GDP is normally used as the main metric to evaluate a country’s economic health. What does it stand for?