Key scientific and technological problems tackling and China’s natural gas industry development: At the 30th anniversary of coal-formed gas theoretical studies