Oil and gas boom even bigger than previously thought in North Dakota