What is the definition of Gross Domestic Product (GDP)?