Greater natural gas production leads to increases in local population and non-mining employment, 2000-2010