U.S. crude oil and natural gas proved reserves set new records in 2017