U.S. production of crude oil grew 5% in 2017, likely leading to record 2018 production