U.S. natural gas drillers to boost 2025 output to meet demand for exports