Global gas market implications of methane emission reduction policies