Texas shale boom helped shorten the Great Recession