The case for a gas export tax, explained