U.S. crude oil production down last week