U.S. becomes world’s largest crude oil producer