What is the definition of gross national product and gross domestic product?