U.S. crude oil production in 2015 was the highest since 1972, but has since declined