Which U.S. state is a major producer of both oil and natural gas from shale formations?