U.S. resumes crude exports after 40-year ban lifted