What the US’s GDP figure really means