EIA: Shale boom helped U.S. produce 10% of the world's oil supply in 2013