U.S. crude production reaches record, led by Texas