U.S. crude stocks fall, exports hit a record high