US crude stocks fall, exports hit a record high: EIA