What is the difference between gross domestic product and gross national product?