Resource rent taxes and oil & gas exports