Development opportunities and trading market construction of gas under the dual carbon target