(Non) resource revenue as a percentage of (non) resource GDP, 1980 to 2020