Green gross domestic product