How does the growth of the gas industry compare to booms in other industries?