Shale drilling continues to boost U.S. natural gas production, EIA official says